Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: Suche nach Refinements für verschiedene Attributtypen optimieren #773

Merged
merged 6 commits into from
Sep 19, 2023

Conversation

michael-rapp
Copy link
Collaborator

@michael-rapp michael-rapp commented Sep 19, 2023

Umsetzung des in #742 skizzierten Refactorings, das zum Ziel hat, für die Suche nach Refinements einer Regel zukünftig auf bestimmte Attributtypen zugeschnittene Implementierungen verwenden zu können.

Dieser Pull-Request übernimmt die in den Pull-Requests #772, #774 und #775 enhaltenen Änderungen in den development-Branch.

@michael-rapp michael-rapp linked an issue Sep 19, 2023 that may be closed by this pull request
22 tasks
@michael-rapp michael-rapp merged commit 1564532 into development Sep 19, 2023
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants